Solving hard trig equations using double angle identities